<?php
 
 //   print("test1 ".$_SESSION['mail']);
 //   print("test2 ".$_SESSION['name']);
    print("<br />");
    
if(isset($_SESSION['mail']) && isset($_SESSION['name'])){
    print($_SESSION['name']." ".$_SESSION['mail']);
    echo "<form action=\"disconnect.php\" name=\"dis\">
        <input type=\"submit\" name=\"Disconnect\" value=\"Disconnect\">
    </form>" ;
}else
    echo "<form action=\"login.php\" name=\"dis\">
        <input type=\"submit\" name=\"Connect\" value=\"Connect\">
    </form>" ;

?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <title></title>
    </head>
    <body>